An Argumentation Based Semantics for Agent Reasoning
نویسنده
چکیده
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechanisms. A growing body of work is looking to address these challenges by proposing argumentation based approaches to agent defeasible and practical reasoning. This work conforms to Dung’s seminal argumentation semantics. In this paper we review our previous work in which we extend Dung’s semantics to allow for inclusion of arguments that express preferences between other arguments. In this way we account for the fact that preference information required to resolve conflicts is itself defeasible and may be conflicting. We then propose the extended semantics as a semantics for agent defeasible and practical reasoning, and substantiate this claim by showing how our semantics can characterise, and indeed provide a framework for extending, existing approaches to agent reasoning over beliefs, goals, and actions.
منابع مشابه
Practical argumentation semantics for socially efficient defeasible consequence
An abstract argumentation framework and the semantics, often called Dungean semantics, give a general framework for nonmonotonic logics. In the last fifteen years, a great number of papers in computational argumentation adopt Dungean semantics as a fundamental principle for evaluating various kinds of defeasible consequences. Recently, many papers address problems not only with theoretical reas...
متن کاملAbduction in Argumentation Frameworks and Its Use in Debate Games
This paper studies an abduction problem in formal argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified, the agent seeks conditions to explain the argument in its argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation i...
متن کاملAn Argumentation-Based Negotiation for Distributed Extended Logic Programs
The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of othe...
متن کاملEmbedding Defeasible Argumentation in the Semantic Web: an ontology-based approach
The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions. Ontologies intended for knowledge representation in intelligent agents rely on common-sense reasoning formalizations. Defeasible argumentation has emerged as a successful approach to model common-sense reasoning....
متن کاملFuzzy Unification and Argumentation for Well-Founded Semantics
Argumentation as metaphor for logic programming semantics is a sound basis to define negotiating agents. If such agents operate in an open system, they have to be able to negotiate and argue efficiently in a goal-directed fashion and they have to deal with uncertain and vague knowledge. In this paper, we define an argumentation framework with fuzzy unification and reasoning for the well-founded...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007